Selected Topics in Automata and Logic
نویسنده
چکیده
1 Regular Languages and Logic 3 1.1 Regular Languages and Finite Automata . . . . . . . . . 3 1.2 First-Orderand Monadic-Second-Order-Logic . . . . . 5 2 Other Equivalent Representations 9 2.1 Two-way Finite Automata . . . . . . . . . . . . . . . . . 9 2.2 First Order Logic with Transitive Closure . . . . . . . . 13 3 Two-Way Multihead Automata 17 4 k-ary Transitive Closure 26 5 Tree Walking Automata 33 6 Descriptive Complexity 44
منابع مشابه
Selected Topics in Asynchronous Automata
The paper is concerned with the modeling of the electrical signals and of the asynchronous circuits by } 1 , 0 { → R functions and asynchronous automata. The equations of the asynchronous automata are written and solved; the stability, the fundamental mode of operation, the semi-modularity and some aspects of semantics of the propositional temporal logic as seen from behind asynchronous automat...
متن کاملTREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write $mathcal{L}$-valued) tree automaton with a threshold $c.$ Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable t...
متن کاملOptimization of Quantum Cellular Automata Circuits by Genetic Algorithm
Quantum cellular automata (QCA) enables performing arithmetic and logic operations at the molecular scale. This nanotechnology promises high device density, low power consumption and high computational power. Unlike the CMOS technology where the ON and OFF states of the transistors represent binary information, in QCA, data is represented by the charge configuration. The primary and basic devic...
متن کاملNovel Defect Terminolgy Beside Evaluation And Design Fault Tolerant Logic Gates In Quantum-Dot Cellular Automata
Quantum dot Cellular Automata (QCA) is one of the important nano-level technologies for implementation of both combinational and sequential systems. QCA have the potential to achieve low power dissipation and operate high speed at THZ frequencies. However large probability of occurrence fabrication defects in QCA, is a fundamental challenge to use this emerging technology. Because of these vari...
متن کاملNovel efficient fault-tolerant full-adder for quantum-dot cellular automata
Quantum-dot cellular automata (QCA) are an emerging technology and a possible alternative for semiconductor transistor based technologies. A novel fault-tolerant QCA full-adder cell is proposed: This component is simple in structure and suitable for designing fault-tolerant QCA circuits. The redundant version of QCA full-adder cell is powerful in terms of implementing robust digital functions. ...
متن کامل